($\lambda$$g$,$a$,$b$,$z$. $a$ $\leq$ $b$) $\in$ $g$:GrpSig$\rightarrow\mid$$g$$\mid\rightarrow\mid$$g$$\mid\rightarrow$($\downarrow$True)$\rightarrow\mathbb{P}$